磁通密度反馈在磁悬浮系统中的应用

对于磁悬浮列车的悬浮控制,如果取悬浮间隙、电磁铁速度以及电流为状态变量进行反馈控制,在实验中控制参数的稳定区间较小,不易寻找控制参数的稳定区间,而且控制参数之间的影响比较严重;采用悬浮间隙、电磁铁速度以及磁通密度作为状态变量进行反馈控制的方法可以解决上述问题,便于实际的调试工作.仿真结果证明了第二种方法的有效性.     

液力机械变速机构耦合仿真及运行特性研究

针对某型履带车辆中液力机械变速机构结构复杂,功能耦合的特点,基于RecurDyn及AMESim的协同仿真接口构建了机械-液压-控制耦合的联合仿真模型,利用台架试验验证了模型可信度。对其启动、换挡工况下进行仿真分析,结果说明采用液力传动技术可以增强系统起步动力性能,减小动载冲击,但在提速过程会有一定的延迟;而液压换挡缓冲回路可控制离合器结合时的缓冲压力,实现换挡过程动力的平稳过渡,有利于系统动力的平稳传递。     

考虑资源约束的复杂维修任务时间预计模型

在分析装备维修过程时间影响因素的基础上,研究了维修过程时间模型的建模要素关系。采用Petri网技术建立了反映子任务基本关系、资源约束和调度策略的典型维修过程模型,并对典型子任务执行过程进行了细化建模,研究了模型冲突和资源调度策略。针对典型实例进行了维修时间预计和资源利用率分析。     

相控阵雷达机动多目标跟踪算法设计与仿真

目前的多目标跟踪仿真系统为实现更高的跟踪精度和跟踪效能,多采用复杂的先进跟踪算法进行建模仿真,且仿真环境设置较为理想,不利于工程实践和系统仿真,其工程应用价值大打折扣。针对上述问题,采用连续系统的建模仿真方法,根据当前空战飞行器编队作战的发展对地面武器跟踪制导系统的新要求,提出并设计了基于M ATLAB的相控阵雷达机动多目标跟踪仿真系统,以KALM AN滤波算法为主线,对多目标数据互联、机动检测与辨识以及目标编批和航迹处理等核心模型的算法、关键技术进行了深入研究,开发了与KALM AN滤波算法较为匹配的跟踪滤波系统,最后以跟踪空中多目标编队飞行为例,对仿真系统进行了模型校验与测试。仿真结果验证了模型和方法的有效性,可为系统跟踪效能的分析评估提供平台和依据,对于相控阵雷达系统的开发和战术使用具有积极意义。     

Hilbert空间极大单调算子零点的逼近问题

设H为实Hilbert空间,C为H的非空闭凸子集,T:C→2H为极大单调算子,假设S(T)={X∈H:O∈Tx}≠Φ。求xk及ek满足设Pc:H→C为H到C上的最近点投影算子,定义证明了Hilbert空间中由上式产生的序列{xk}k≥0弱收敛于T的某个零点。     

大子直积与其系数环

设 为无限正则基数,F为集合I的滤子,通过模的 积和F-积给出了其系数环R相关结构的特征刻画。作为应用,一些已有的结果得到了推广。     

侵彻靶板过程中刚体过载特征提取方法

针对引信动态环境非常复杂各种振动非常丰富,侵彻加速度信号含有许多瞬变成分,是非平稳时变信号,采用局部均值分解算法自适应的对侵彻加速度信号进行分解,从而提取加速度信号刚体过载特征和加速度信号频率分布特性,有效准确地对信号机理进行分析.为了使得侵彻特征更加明显,利用半正弦波形作为匹配波形,采用匹配相关算法得到侵彻过程层穿越的特征信号,更有效实时地进行层识别或者空穴识别.     

双曲线法抗跟踪干扰研究

针对中、低速跳频电台跟踪干扰问题,从通信抗干扰的角度出发,通过对干扰椭圆方程的变形分析,提出了抗跟踪干扰的双曲线法,推导了抗干扰双曲线的方程,并计算出了跟踪干扰无效区域。最后,分析了该双曲线的特点及影响因素,介绍了该方法的运用。与现有的抗跟踪干扰理论依据相比,根据双曲线法选择抗干扰措施更直观、更简单。     

基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

碳纳米管场效应管尺寸缩小特性的比较

由于具有更为显著的量子隧穿效应,碳纳米管场效应管具有较硅基MOS管不同的尺寸缩小特性,同时,由于工作机理的不同,类MOS碳纳米管场效应管(C-CNFETs:Conventional MOS-like Carbon Nanotube Field Effect Transistors)的尺寸缩小特性与隧穿碳纳米管场效应管(...